Substitution model

#	Item
271	PDF Document Add to Reading List Source URL: college.holycross.edu Language: English - Date: 2005-07-01 06:57:54 Bioinformatics Biology Maximum parsimony Sequence alignment Substitution model Molecular phylogenetics Long branch attraction Computational phylogenetics Phylogenetics Science
272	PDF Document Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2007-08-15 06:16:56 Model theory Philosophical logic Automated theorem proving Logic programming Logical truth Substitution Constructible universe Structure Function Logic Mathematical logic Mathematics
273	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2008-10-29 09:10:43 Metalogic Model theory Logic in computer science Formal languages Propositional calculus Substitution Symbol Boolean satisfiability problem Structure Mathematics Logic Theoretical computer science